Optimal. Leaf size=152 \[ -\frac{\left (d+e x^2\right )^4 \left (a+b \tan ^{-1}(c x)\right )}{8 d x^8}-\frac{b c d \left (c^4 d^2-4 c^2 d e+6 e^2\right )}{24 x^3}+\frac{b c \left (c^2 d-2 e\right ) \left (c^4 d^2-2 c^2 d e+2 e^2\right )}{8 x}+\frac{b c d^2 \left (c^2 d-4 e\right )}{40 x^5}+\frac{b \left (c^2 d-e\right )^4 \tan ^{-1}(c x)}{8 d}-\frac{b c d^3}{56 x^7} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.195143, antiderivative size = 152, normalized size of antiderivative = 1., number of steps used = 5, number of rules used = 5, integrand size = 21, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.238, Rules used = {264, 4976, 12, 461, 203} \[ -\frac{\left (d+e x^2\right )^4 \left (a+b \tan ^{-1}(c x)\right )}{8 d x^8}-\frac{b c d \left (c^4 d^2-4 c^2 d e+6 e^2\right )}{24 x^3}+\frac{b c \left (c^2 d-2 e\right ) \left (c^4 d^2-2 c^2 d e+2 e^2\right )}{8 x}+\frac{b c d^2 \left (c^2 d-4 e\right )}{40 x^5}+\frac{b \left (c^2 d-e\right )^4 \tan ^{-1}(c x)}{8 d}-\frac{b c d^3}{56 x^7} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 264
Rule 4976
Rule 12
Rule 461
Rule 203
Rubi steps
\begin{align*} \int \frac{\left (d+e x^2\right )^3 \left (a+b \tan ^{-1}(c x)\right )}{x^9} \, dx &=-\frac{\left (d+e x^2\right )^4 \left (a+b \tan ^{-1}(c x)\right )}{8 d x^8}-(b c) \int \frac{\left (d+e x^2\right )^4}{8 x^8 \left (-d-c^2 d x^2\right )} \, dx\\ &=-\frac{\left (d+e x^2\right )^4 \left (a+b \tan ^{-1}(c x)\right )}{8 d x^8}-\frac{1}{8} (b c) \int \frac{\left (d+e x^2\right )^4}{x^8 \left (-d-c^2 d x^2\right )} \, dx\\ &=-\frac{\left (d+e x^2\right )^4 \left (a+b \tan ^{-1}(c x)\right )}{8 d x^8}-\frac{1}{8} (b c) \int \left (-\frac{d^3}{x^8}+\frac{d^2 \left (c^2 d-4 e\right )}{x^6}-\frac{d \left (c^4 d^2-4 c^2 d e+6 e^2\right )}{x^4}+\frac{\left (c^2 d-2 e\right ) \left (c^4 d^2-2 c^2 d e+2 e^2\right )}{x^2}-\frac{\left (c^2 d-e\right )^4}{d \left (1+c^2 x^2\right )}\right ) \, dx\\ &=-\frac{b c d^3}{56 x^7}+\frac{b c d^2 \left (c^2 d-4 e\right )}{40 x^5}-\frac{b c d \left (c^4 d^2-4 c^2 d e+6 e^2\right )}{24 x^3}+\frac{b c \left (c^2 d-2 e\right ) \left (c^4 d^2-2 c^2 d e+2 e^2\right )}{8 x}-\frac{\left (d+e x^2\right )^4 \left (a+b \tan ^{-1}(c x)\right )}{8 d x^8}+\frac{\left (b c \left (c^2 d-e\right )^4\right ) \int \frac{1}{1+c^2 x^2} \, dx}{8 d}\\ &=-\frac{b c d^3}{56 x^7}+\frac{b c d^2 \left (c^2 d-4 e\right )}{40 x^5}-\frac{b c d \left (c^4 d^2-4 c^2 d e+6 e^2\right )}{24 x^3}+\frac{b c \left (c^2 d-2 e\right ) \left (c^4 d^2-2 c^2 d e+2 e^2\right )}{8 x}+\frac{b \left (c^2 d-e\right )^4 \tan ^{-1}(c x)}{8 d}-\frac{\left (d+e x^2\right )^4 \left (a+b \tan ^{-1}(c x)\right )}{8 d x^8}\\ \end{align*}
Mathematica [C] time = 0.177316, size = 154, normalized size = 1.01 \[ -\frac{35 \left (2 b c d e^2 x^5 \text{Hypergeometric2F1}\left (-\frac{3}{2},1,-\frac{1}{2},-c^2 x^2\right )+4 b c e^3 x^7 \text{Hypergeometric2F1}\left (-\frac{1}{2},1,\frac{1}{2},-c^2 x^2\right )+\left (4 d^2 e x^2+d^3+6 d e^2 x^4+4 e^3 x^6\right ) \left (a+b \tan ^{-1}(c x)\right )\right )+28 b c d^2 e x^3 \text{Hypergeometric2F1}\left (-\frac{5}{2},1,-\frac{3}{2},-c^2 x^2\right )+5 b c d^3 x \text{Hypergeometric2F1}\left (-\frac{7}{2},1,-\frac{5}{2},-c^2 x^2\right )}{280 x^8} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.049, size = 265, normalized size = 1.7 \begin{align*} -{\frac{a{e}^{3}}{2\,{x}^{2}}}-{\frac{3\,ad{e}^{2}}{4\,{x}^{4}}}-{\frac{a{d}^{2}e}{2\,{x}^{6}}}-{\frac{a{d}^{3}}{8\,{x}^{8}}}-{\frac{b\arctan \left ( cx \right ){e}^{3}}{2\,{x}^{2}}}-{\frac{3\,\arctan \left ( cx \right ) bd{e}^{2}}{4\,{x}^{4}}}-{\frac{b{d}^{2}\arctan \left ( cx \right ) e}{2\,{x}^{6}}}-{\frac{b{d}^{3}\arctan \left ( cx \right ) }{8\,{x}^{8}}}+{\frac{{c}^{8}b\arctan \left ( cx \right ){d}^{3}}{8}}-{\frac{{c}^{6}b\arctan \left ( cx \right ){d}^{2}e}{2}}+{\frac{3\,{c}^{4}b\arctan \left ( cx \right ) d{e}^{2}}{4}}-{\frac{{c}^{2}b\arctan \left ( cx \right ){e}^{3}}{2}}+{\frac{{c}^{7}b{d}^{3}}{8\,x}}-{\frac{{c}^{5}b{d}^{2}e}{2\,x}}+{\frac{3\,{c}^{3}bd{e}^{2}}{4\,x}}-{\frac{cb{e}^{3}}{2\,x}}+{\frac{{c}^{3}b{d}^{3}}{40\,{x}^{5}}}-{\frac{cb{d}^{2}e}{10\,{x}^{5}}}-{\frac{cb{d}^{3}}{56\,{x}^{7}}}-{\frac{{c}^{5}b{d}^{3}}{24\,{x}^{3}}}+{\frac{{c}^{3}b{d}^{2}e}{6\,{x}^{3}}}-{\frac{bcd{e}^{2}}{4\,{x}^{3}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.47127, size = 294, normalized size = 1.93 \begin{align*} \frac{1}{840} \,{\left ({\left (105 \, c^{7} \arctan \left (c x\right ) + \frac{105 \, c^{6} x^{6} - 35 \, c^{4} x^{4} + 21 \, c^{2} x^{2} - 15}{x^{7}}\right )} c - \frac{105 \, \arctan \left (c x\right )}{x^{8}}\right )} b d^{3} - \frac{1}{30} \,{\left ({\left (15 \, c^{5} \arctan \left (c x\right ) + \frac{15 \, c^{4} x^{4} - 5 \, c^{2} x^{2} + 3}{x^{5}}\right )} c + \frac{15 \, \arctan \left (c x\right )}{x^{6}}\right )} b d^{2} e + \frac{1}{4} \,{\left ({\left (3 \, c^{3} \arctan \left (c x\right ) + \frac{3 \, c^{2} x^{2} - 1}{x^{3}}\right )} c - \frac{3 \, \arctan \left (c x\right )}{x^{4}}\right )} b d e^{2} - \frac{1}{2} \,{\left ({\left (c \arctan \left (c x\right ) + \frac{1}{x}\right )} c + \frac{\arctan \left (c x\right )}{x^{2}}\right )} b e^{3} - \frac{a e^{3}}{2 \, x^{2}} - \frac{3 \, a d e^{2}}{4 \, x^{4}} - \frac{a d^{2} e}{2 \, x^{6}} - \frac{a d^{3}}{8 \, x^{8}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.822, size = 512, normalized size = 3.37 \begin{align*} -\frac{420 \, a e^{3} x^{6} + 630 \, a d e^{2} x^{4} - 105 \,{\left (b c^{7} d^{3} - 4 \, b c^{5} d^{2} e + 6 \, b c^{3} d e^{2} - 4 \, b c e^{3}\right )} x^{7} + 15 \, b c d^{3} x + 420 \, a d^{2} e x^{2} + 35 \,{\left (b c^{5} d^{3} - 4 \, b c^{3} d^{2} e + 6 \, b c d e^{2}\right )} x^{5} + 105 \, a d^{3} - 21 \,{\left (b c^{3} d^{3} - 4 \, b c d^{2} e\right )} x^{3} + 105 \,{\left (4 \, b e^{3} x^{6} -{\left (b c^{8} d^{3} - 4 \, b c^{6} d^{2} e + 6 \, b c^{4} d e^{2} - 4 \, b c^{2} e^{3}\right )} x^{8} + 6 \, b d e^{2} x^{4} + 4 \, b d^{2} e x^{2} + b d^{3}\right )} \arctan \left (c x\right )}{840 \, x^{8}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] time = 4.46187, size = 309, normalized size = 2.03 \begin{align*} - \frac{a d^{3}}{8 x^{8}} - \frac{a d^{2} e}{2 x^{6}} - \frac{3 a d e^{2}}{4 x^{4}} - \frac{a e^{3}}{2 x^{2}} + \frac{b c^{8} d^{3} \operatorname{atan}{\left (c x \right )}}{8} + \frac{b c^{7} d^{3}}{8 x} - \frac{b c^{6} d^{2} e \operatorname{atan}{\left (c x \right )}}{2} - \frac{b c^{5} d^{3}}{24 x^{3}} - \frac{b c^{5} d^{2} e}{2 x} + \frac{3 b c^{4} d e^{2} \operatorname{atan}{\left (c x \right )}}{4} + \frac{b c^{3} d^{3}}{40 x^{5}} + \frac{b c^{3} d^{2} e}{6 x^{3}} + \frac{3 b c^{3} d e^{2}}{4 x} - \frac{b c^{2} e^{3} \operatorname{atan}{\left (c x \right )}}{2} - \frac{b c d^{3}}{56 x^{7}} - \frac{b c d^{2} e}{10 x^{5}} - \frac{b c d e^{2}}{4 x^{3}} - \frac{b c e^{3}}{2 x} - \frac{b d^{3} \operatorname{atan}{\left (c x \right )}}{8 x^{8}} - \frac{b d^{2} e \operatorname{atan}{\left (c x \right )}}{2 x^{6}} - \frac{3 b d e^{2} \operatorname{atan}{\left (c x \right )}}{4 x^{4}} - \frac{b e^{3} \operatorname{atan}{\left (c x \right )}}{2 x^{2}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] time = 2.1154, size = 410, normalized size = 2.7 \begin{align*} -\frac{105 \, \pi b c^{8} d^{3} x^{8} \mathrm{sgn}\left (c\right ) \mathrm{sgn}\left (x\right ) - 105 \, b c^{8} d^{3} x^{8} \arctan \left (c x\right ) + 420 \, b c^{6} d^{2} x^{8} \arctan \left (c x\right ) e - 105 \, b c^{7} d^{3} x^{7} + 630 \, \pi b c^{4} d x^{8} e^{2} \mathrm{sgn}\left (c\right ) \mathrm{sgn}\left (x\right ) - 630 \, b c^{4} d x^{8} \arctan \left (c x\right ) e^{2} + 420 \, b c^{5} d^{2} x^{7} e + 35 \, b c^{5} d^{3} x^{5} + 420 \, b c^{2} x^{8} \arctan \left (c x\right ) e^{3} - 630 \, b c^{3} d x^{7} e^{2} - 140 \, b c^{3} d^{2} x^{5} e - 21 \, b c^{3} d^{3} x^{3} + 420 \, b c x^{7} e^{3} + 420 \, b x^{6} \arctan \left (c x\right ) e^{3} + 210 \, b c d x^{5} e^{2} + 420 \, a x^{6} e^{3} + 630 \, b d x^{4} \arctan \left (c x\right ) e^{2} + 84 \, b c d^{2} x^{3} e + 630 \, a d x^{4} e^{2} + 420 \, b d^{2} x^{2} \arctan \left (c x\right ) e + 15 \, b c d^{3} x + 420 \, a d^{2} x^{2} e + 105 \, b d^{3} \arctan \left (c x\right ) + 105 \, a d^{3}}{840 \, x^{8}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]